@main def main() = {
  println("Hello, world!")
  println(help) // should work, comes from joern commands
  // val i: Int = "foo" // to test line number reporting
}
